Die .class Datei, der HTMLFormatPlugIn Superklasse.